<div class="download">
    <?php if (!empty($file)): ?>
    <form  action="<?php echo url_for('doDownload',$file) ?>" method="post">
          <input type ="submit" value="download" name="download">
          For modification<input type="checkbox" name ="check" value="true">
    </form>
    <?php endif;?>
 </div>